保证并发调度的可串行化，是为了确保事务的( )。